Petri net - PDFSEARCH.IO - Document Search Engine

Petri net
Results: 320

#	Item
311	PDF Document Add to Reading List Source URL: www.daimi.au.dk Language: English - Date: 2001-11-07 07:43:47 Computer science Formal methods Logic in computer science Programming language semantics Diagrams Petri net Process calculus State transition system Formal language Models of computation Theoretical computer science Concurrency
312	PDF Document Add to Reading List Source URL: is.ifmo.ru Language: English - Date: 2008-02-23 15:08:44 Graph theory Mathematics Finite-state machine Automata-based programming Anatoly Shalyto Algorithm Deterministic finite automaton Petri net Deterministic automaton Automata theory Theoretical computer science Models of computation
313	PDF Document Add to Reading List Source URL: portalparts.acm.org Language: English - Date: 2006-12-22 09:42:56 Logic in computer science Mathematical logic Models of computation Combinatory logic Lambda calculus Algorithm Programming language Petri net Parallel computing Mathematics Theoretical computer science Applied mathematics
314	PDF Document Add to Reading List Source URL: chris.foxearth.org Language: English Systems theory Systems science IDEF0 IDEF3 IDEF Function model Workflow Petri net Business process modeling Enterprise modelling Systems engineering Systems analysis
315	PDF Document Add to Reading List Source URL: www.eldrbarry.net Language: English - Date: 2013-09-13 01:27:50 Olaus Petri Reformation in Denmark–Norway and Holstein Hans Tausen Laurentius Petri Lutheranism Church of Sweden Archbishop of Uppsala Gustav I of Sweden Frederick I of Denmark Protestant Reformers Christianity Protestantism
316	PDF Document Add to Reading List Source URL: embedded.eecs.berkeley.edu Language: English Type theory Concurrency Diagrams Petri net Pattern matching Variable FALSE Immutable object J Software engineering Computing Computer programming
317	PDF Document Add to Reading List Source URL: pdf.aminer.org Language: English - Date: 2011-10-18 06:45:16 Science Simulation software Stateflow Differential equations Simulink Hybrid system Continuous simulation Petri net Scientific modelling Visual programming languages Computing Application software
318	PDF Document Add to Reading List Source URL: eprints.soton.ac.uk Language: English - Date: 2009-12-08 12:42:43 Computer science Petri net State transition system Structure Formal language Model theory Curry–Howard correspondence Denotational semantics Models of computation Mathematics Theoretical computer science
319	PDF Document Add to Reading List Source URL: www.petri-heil.net Language: English - Date: 2010-02-06 09:57:13 International Game Fish Association Common carp Angling Mekong giant catfish Brook trout Trolling Fishing in Alabama Marlin fishing Fishing Fish Recreational fishing
320	PDF Document Add to Reading List Source URL: www.petri-heil.net Language: English - Date: 2010-02-06 01:57:57 Carp Common carp Bighead carp Silver carp Recreational fishing White sturgeon Sturgeon Redtail catfish Crucian carp Fish Cyprinidae Cypriniformes